Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
491	On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Formal languages Logic Muller automaton Linear temporal logic Partition FO Alphabet First-order logic Star height Mathematics Automata theory Theoretical computer science
492	Automata-based Data Structures for Representing Sets of Vectors Bernard Boigelot Universit´ e de Li` Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-13 06:03:42 Applied mathematics Regular expression FO Finite-state machine Nested word Automata theory Theoretical computer science Computer science
493	Operational planning in state machines Hans Georg Schaathun1 Magne Aarset2∗ [removed] [removed] 1 Faculty of Engineering and Physical Sciences Add to Reading List Source URL: www.nik.no Language: English - Date: 2014-01-09 04:23:38 Systems theory Systems science Automata theory Digital electronics Models of computation Structured Analysis and Design Technique IDEF0 IDEF Situation awareness Systems analysis Systems engineering Science
494	On Regular Expression Matching and Deterministic Finite Automata Philip Bille∗ Technical University of Denmark, DTU Compute ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Regular language Regular expression Finite-state machine Matching String searching algorithm Synchronizing word Automata theory Theoretical computer science Computer science
495	Exploring Discrete Dynamics by Andrew Wuensche (Luniver Press, 2011) ISBN-10: [removed]ISBN-13: [removed]xxxvii + 498 pages, 290 figures, 31 tables Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2012-08-09 20:54:30 Systems science Bioinformatics Cellular automaton Boolean network Automata theory Christopher Langton Rule 110 Rule 30 Dynamical system Science Cellular automata Systems theory
496	A. Evans Dept. of Computing, University of York [removed] Rigorous Development in UML Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2003-02-04 09:56:28 Infographics Information science Communication design Data modeling Automata theory State diagram Unified Modeling Language Finite-state machine ECO UML diagrams Models of computation Diagrams
497	General Framewhork for Secure Service Orchestration? Gabriele Costa1 , Fabio Martinelli2 , and Artsiom Yautsiukhin2 1 Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi. Add to Reading List Source URL: wwwold.iit.cnr.it Language: English - Date: 2014-09-19 11:38:09 Semiring Software engineering Geometry Automata theory Formal languages Topology Trust metric Metric Type safety Mathematics Algebraic structures Ring theory
498	Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP Magdalena Procopiuc1, Octavian Procopiuc and Susan H. Rodger1 Computer Science Department, Box[removed]Duke University Durham, North Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:05:10 Theoretical computer science Combinatorics Mathematics Deterministic pushdown automaton Pushdown automaton Finite-state machine Alphabet Formal grammar Regular expression Automata theory Formal languages Models of computation
499	Invariants for equivalence of finite automata Mike Spivey Let S = (S, Σ, δS , s0 , FS ) and T = (T , Σ, δT , t0 , FT ) be two deterministic finite automata with the same alphabet Σ. We say S and T are equivalent if, Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2010-02-09 12:35:41 Equivalence relation Structure Deterministic finite automaton If and only if Complementation of Büchi automaton Finite state transducer Automata theory Mathematics Models of computation
500	Kybernetes Article Information: To cite this article: To copy this article: Andrew Adamatzky, (2012) "Exploring Discrete Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2012-07-07 10:49:49 Cellular neural network Automata theory Cellular automata Cellular automaton Boolean network

UPDATE